1. Changing Anarchism : Anarchist Theory and Practice in a Global Age
Author: \ Edited by: Jonathan Purkis, James Bowen
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject:
2. Electronic Visualisation in Arts and Culture
Author: / Jonathan P. Bowen, Suzanne Keene, Kia Ng
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
3. Electronic visualisation in arts and culture
Author: Bowen, Jonathan P.
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Art and technology -- Congresses,، Technology and the arts -- Congresses,، Image processing -- Congresses
Classification :
TA
357
.
V52
2013
4. Electronic visualisation in arts and culture /
Author: Jonathan P. Bowen, Suzanne Keene, Kia Ng, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Art and technology, Congresses,Arts-- Data processing, Congresses,Image processing, Congresses,Technology and the arts, Congresses,Visualization, Congresses
Classification :
N72
.
T4
5. Engineering trustworthy software systems :
Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
758
6. Engineering trustworthy software systems :
Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer security.,Computer software.,Software engineering.
Classification :
QA76
.
758
7. Formal Methods: State of the Art and New Directions
Author: / Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
8. Formal methods
Author: Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi, editors
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Formal methods (Computer science)
Classification :
QA
،
76
.
9
،.
F67
,
F665
،
2010
9. Formal methods : state of the art and new directions
Author: editors Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Formal methods )Computer science(
Classification :
QA
76
.
9
.
F67
F67
2010
10. Formal specification and documentation Using Z: a case study approach
Author: Bowen, Jonathan Peter
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Z )Computer program language(,، System design,Development ، Computer software,، Software documentation
Classification :
QA
76
.
73
.
Z2
B68
1996
11. Formal specification and documentation using Z : a case study approach
Author: Bowen, Jonathan
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Z )Computer program language( , Computer software - Development
Classification :
QA
76
.
73
.
Z2
B68
1996
12. High-integrity system specification and design.
Author: Jonathan P Bowen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Databehandling,Systemutveckling
Classification :
QA76
.
9
.
S88
J663
1999
13. Industrial-Strength Formal Methods in Practice
Author: edited by Michael G. Hinchey, Jonathan P. Bowen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
F67
E358
1999
14. Inside teaching: Options for English language teachers
Author: Tim Bowen,Jonathan Marks
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Teaching,Teachers
Classification :
LB
,
1025
.
3
,.
B68
,
1994
15. Orf parapoxvirus infection from a cat scratch
Author: Frandsen, Jonathan; Enslow, Mike; Bowen, Anneli R,Frandsen, Jonathan; Enslow, Mike; Bowen, Anneli R
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
16. ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 28-September 2, 2000 : proceedings
Author: Jonathan P. Bowen...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، B )Computer program language(,Congresses ، Z )Computer program language(
Classification :
QA
76
.
L28
Vol
.
1878
17. ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 1998 : proceedings
Author: Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Z )Computer program language(
Classification :
QA
76
.
L28
Vol
.
1493
18. ZUM'97 : the z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
Author: Jonathan P. Bowen, Michael G. Hinchey, David Till )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Z )Computer program language(
Classification :
QA
76
.
L28
Vol
.
1212
